群体性事件情报预警困境的博弈分析

在公安边防部门辖区内，群体性事件时有发生，成为影响辖区治安的主要因素。如何基于所掌握的情报，找出一种科学合理的情报分析方法成为边防部门亟待解决的问题。从博弈论的角度，建立模型，用数学方法进行求解，对公安边防部门与群体性事件的策动者进行博弈分析。     

An integer decomposition algorithm for solving a two‐stage facility location problem with second‐stage activation costs

We study a stochastic scenario‐based facility location problem arising in situations when facilities must first be located, then activated in a particular scenario before they can be used to satisfy scenario demands. Unlike typical facility location problems, fixed charges arise in the initial location of the facilities, and then in the activation of located facilities. The first‐stage variables in our problem are the traditional binary facility‐location variables, whereas the second‐stage variables involve a mix of binary facility‐activation variables and continuous flow variables. Benders decomposition is not applicable for these problems due to the presence of the second‐stage integer activation variables. Instead, we derive cutting planes tailored to the problem under investigation from recourse solution data. These cutting planes are derived by solving a series of specialized shortest path problems based on a modified residual graph from the recourse solution, and are tighter than the general cuts established by Laporte and Louveaux for two‐stage binary programming problems. We demonstrate the computational efficacy of our approach on a variety of randomly generated test problems. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

狭长受限空间油气爆炸关键现象研究

以汽油油气混合物为研究对象,在狭长密闭管道中进行了油气爆炸实验,通过压阻式传感器测试爆炸过程中的压强信号,得到狭长受限空间中油气爆炸的基本参数。通过对实验结果的对比分析,发现狭长受限空间内的油气爆炸可以分为4个阶段：平滑加速阶段、湍流发展阶段、振荡激化阶段和余波阶段;一定强度的湍流流场可抑制链化学反应速度和火焰传播速度;振荡激化阶段发生在管道末端。为狭长密闭空间内油气爆炸的预防和抑爆技术研究提供了参考。     

基于串联QFD神经网络的武器装备使用需求映射方法

针对传统优化方法不能对武器装备使用主体――部队的使用需求进行有效考虑,提出武器装备使用需求到性能指标映射的串联QFD神经网络方法.该方法综合利用了QFD方法采集信息准确快速、神经网络能够精确模拟多变量输入输出强非线性关系的优点,提高了映射精度与针对性,克服了传统需求分析侧重于推理而轻实践、侧重于"设计方"而轻"使用方"的弊端,集中体现了"用户"为主的思想.改进了传统BP网络训练算法,给出了武器装备使用需求映射适应度函数.最后,结合实例对方法及算法进行了可靠性验证.     

国外爆炸物检测技术综述（一）——痕量爆炸物检测技术

本文首先简要介绍了我国所面临的爆炸恐怖成胁，对现有的爆炸物检测技术进行了系统分类，详细论述了国外的痕量爆炸物检测技术，并对个别技术的优缺点进行了比较分析。对了解国外爆炸物检测技术有一定的参考价值。     

协同空战制导优势模型研究

为解决多机协同空战中对导弹制导权移交时的制导机选择问题,建立了一种新的制导优势模型。分析了空空条件下制导优势的影响因素,主要包括机载脉冲多普勒雷达对目标的探测能力、雷达制导链路能力和导弹回传链路能力;根据不同态势下目标的雷达截面积和地杂波,采用探测概率建立了雷达探测优势模型;根据制导链路和回传链路接收的功率,建立了不同态势下的制导链路优势模型和回传链路优势模型;将前述三者优势聚合为制导优势模型。仿真实验证明了模型的合理性与有效性。     

浅析提高信息系统软件测试质量的途径

随着信息技术为核心的高新技术在军事信息系统中应用的不断深入，作为信息系统核心部分的软件系统质量成为影响系统效能与可靠性的关键。如何有效保证软件系统质量、提高信息系统的可靠性成为目前我军亟需解决的重要问题。本文从软件工程的角度出发，针对信息系统中的软件系统，结合软件测试技术的发展和我军信息系统的现状，提出了提高军事信息系统软件测试质量的几种途径。     

商务印书馆函授学校英文科学员来源地考察——基于《英语周刊》(1921-1922)记载的分析

商务印书馆函授学校英文科在中国近现代成人教育史、职业教育史上都占据着非常重要的位置.1921年至1922年期间的《英语周刊》对英文科学员来源地等信息均有着较为详细的记载,弥补了已发现的相关史料的不足,从而可以对其办学效果做出一个客观、精确的评价.通过《英语周刊》的相关记载,可以发现英文科学员来源地范围覆盖区域非常广泛,其学员来源地构成状况呈现出了多元化、多样化的特点.仅仅从学员来源地状况的角度去审视、考察,商务函授学校英文科取得了显著的办学效果,它在一定程度上弥补了普通学校教育资源的不足,有力促进了中国教育近代化事业的发展.     

突袭敌方指挥所兵力需求仿真

甲方以特种部队突袭乙方师(旅)指挥所的行动是未来渡海登岛作战中的重要内容,能大大加快战役进程.战前通过侦察已知对方实力,通过作战模拟的方法确定规定时间内完成任务所需派遣特种部队的规模有决定性意义.采用指数-Lanchester理论模拟作战过程,在考虑气象、士气因素对作战过程影响的基础上,以甲方在消灭乙方50%有生力量后作战结束,通过MATLAB7 0仿真工具得出在一定的作战想定条件下甲方需要投入兵力的综合战斗力指数.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.